ELIMINATING EXTRANEOUS SOLUTIONS IN CURVE AND SURFACE OPERATIONS

Eliminating extraneous solutions in curve and surface operations

We study exact representations for offset curves and surfaces, for equal-distance curves and surfaces, and for fixedand variable-radius blending surfaces. The representations are myekeme of nonlinear equationn that define the curves and surfaces as natural projections from a bigherdimeneional space into &space. We show that the systems derived by-naively trsnalating the geometric constrainb def...

On Formally Measuring and Eliminating Extraneous Notions in Proofs

Many mathematicians and philosophers of mathematics believe some proofs contain elements extraneous to what is being proved. In this paper I discuss extraneousness generally, and then consider a specific proposal for measuring extraneousness syntactically. This specific proposal uses Gentzen’s cut-elimination theorem. I argue that the proposal fails, and that we should be skeptical about the us...

Eliminating Bus Stops: Evaluating Changes in Operations, Emissions and Coverage

Bus systems in the United States are unattractive to many potential riders because of their lack of efficiency, especially with regard to travel time. One of the reasons services are not more efficient has to do with the spacing of bus stops. After using a nearest facility algorithm with an 800 m walking distance threshold to identify eligible bus stops in the current bus system in the city of ...

Prediction of Surface Tension in Single and Mixed Electrolyte Solutions

the study of bright and surface discrete cavity solitons dynamics in saturable nonlinear media

امروزه سالیتون ها بعنوان امواج جایگزیده ای که تحت شرایط خاص بدون تغییر شکل در محیط منتشر می-شوند، زمینه مطالعات گسترده ای در حوزه اپتیک غیرخطی هستند. در این راستا توجه به پدیده پراش گسسته، که بعنوان عامل پهن شدگی باریکه نوری در آرایه ای از موجبرهای جفت شده، ظاهر می گردد، ضروری است، زیرا سالیتون های گسسته از خنثی شدن پراش گسسته در این سیستم ها بوسیله عوامل غیرخطی بوجود می آیند. گسستگی سیستم عامل...